# -*- mode: Makefile; -*-
# ----------------------------------------------------------------------------
# 
# Installation SETTINGS
# 
#-----------------------------------------------------------------------------
# These MUST be set to suitable values
#-----------------------------------------------------------------------------
# Directory where the database server will publish its address. 
# If you're running more databases with WebDB, use different directories 
# for each one.
DBADD=/tmp/WebDB/

# HTTP accessible directory to hold the database consulting/maintenance pages 
DBHOME=/home/clip/public_html/WebDB

# URL of the previous directory
DBURL=http://www.clip.dia.fi.upm.es/~clip/WebDB

# Base directory for the data, types and description files. By default 
# it's set to DBHOME but for more security and prevention of undesired 
# downloading change it to some directory which is not under DBHOME

DBDATADESC=$(DBHOME)

# Directory to install the html templates of the system's graphical environment

DBTEMPLATES=$(DBHOME)/html_templates

# Directory to install the Ciao engine
CIAOBIN=/home/clip/Systems/WebDB/
#CIAOBIN=/usr/local/bin

#-----------------------------------------------------------------------------
# These can be left as is but are provided for customization
#-----------------------------------------------------------------------------
# IMPORTANT: the following two directories MUST have write permission
# for the user under which the httpd is run (typically "nobody").
# 
# Directory to keep the database description files
DBDESC=$(DBDATADESC)/db_desc
# Directory to hold the database files.
DBDATA=$(DBDATADESC)/db
# Directory to hold the database files.
DBTYPES=$(DBDATADESC)/db_types
# The Ciao compiler
CIAOC=ciaoc

# Commands used by the makefiles
CP=/bin/cp
MV=/bin/mv
MKDIR=/bin/mkdir
RM=/bin/rm
CHMOD=/bin/chmod

#------------------------------------------------------------------------------
#--------------- SETTINGS FOR THE DISTRIBUTION MAKEFILE ONLY ------------------
#------------------------------------------------------------------------------
#
#-----------------------------------------------------------------------------
# This is where the source lives
# 
SRC = /home/clip/Systems/WebDB
#-----------------------------------------------------------------------------
# This is where the ciao sources live 
# 
CIAOSRC = /home/clip/Systems/ciao
#
CIAOHOME=/home/clip/Systems/ciao
# This is so that we report correctly with which version it was compiled
ENGINE=ciao-`cat ${CIAOHOME}/version/GlobalVersion`\#`cat \
                 ${CIAOHOME}/version/GlobalPatch`

#-----------------------------------------------------------------------------
# Define this to be the directory in which you want the executable installed. 
# BINDIR= /usr/local/bin
# 
BINDIR=/home/clip/bin
#-----------------------------------------------------------------------------
# Define this to be the directory in which you want libraries to be installed.
# LIBDIR= /usr/local/lib
# 
LIBDIR=/home/clip/lib
#-----------------------------------------------------------------------------
# Define this to be the dir in which you want all docs installed. 
# DOCDIR= /usr/local/doc
#
# DOCDIR=/home/httpd/html/lpdoc_docs
DOCDIR=/home/clip/public_html/Local/lpdoc_docs
#-----------------------------------------------------------------------------
# Define this to be the permissions for installed execs/dirs and data files
#
EXECMODE = 775
DATAMODE = 664
#-----------------------------------------------------------------------------
# END
# ----------------------------------------------------------------------------



